18.66/21.13	unsat
