15.26/19.07	unsat
