15.86/15.95	unsat
