17.45/20.30	unsat
