13.44/13.45	unsat
