18.05/20.89	unsat
