12.78/15.39	unsat
