15.94/18.54	unsat
