20.67/25.81	unsat
