18.45/18.56	unsat
