16.55/19.15	unsat
