13.37/17.45	unsat
