7.84/10.39	unsat
