14.86/17.88	unsat
