18.97/20.49	unsat
