10.95/14.73	unsat
