7.24/10.39	unsat
