20.94/23.89	unsat
