4.84/7.04	unsat
