13.45/13.51	unsat
