5.82/11.49	unsat
