15.86/15.96	unsat
