12.95/14.86	unsat
