15.24/18.33	unsat
