18.45/18.61	unsat
