17.06/17.55	unsat
