17.04/20.49	unsat
