18.94/21.11	unsat
