6.46/7.44	unsat
