14.86/15.55	unsat
