11.66/14.97	unsat
