13.44/13.51	unsat
