17.96/18.03	unsat
