20.56/25.23	unsat
