3.91/5.12	unsat
