18.55/19.03	unsat
