11.54/13.07	unsat
