15.94/19.13	unsat
