6.36/10.45	unsat
