16.55/18.03	unsat
