20.87/23.88	unsat
