18.74/20.49	unsat
