28.21/31.43	unsat
