18.97/21.72	unsat
