15.86/18.42	unsat
