15.27/15.42	unsat
