7.95/13.72	unsat
