18.15/19.54	unsat
