10.87/14.07	unsat
