18.59/22.21	unsat
