14.86/15.99	unsat
