18.25/21.13	unsat
