13.87/14.66	unsat
