28.43/31.19	unsat
