13.55/14.03	unsat
