7.87/13.37	unsat
