13.45/13.64	unsat
