23.99/28.30	unsat
