14.83/15.55	unsat
