17.55/18.45	unsat
