13.95/15.73	unsat
