7.84/12.13	unsat
