17.69/20.00	unsat
