5.46/10.29	unsat
